<?
function set_header($doc_type = null, $charset = null) {
    if (!$charset) {
        $charset = 'ISO-8859-1';
    }
    if (!$doc_type) {
        $doc_type = 'text/html';
    }
    header("Content-Type: " . $doc_type . "; charset=" . $charset);
}
?>
